glued(es; B; f; Ia; Ib) == g:E(Ib)E. glues(es; B; g; f; Ia; Ib) 

latex

---

clarification:

glued(es; B; f; Ia; Ib) == g:es-E-interface(es;Ib)es-E(es). glues(es; B; g; f; Ia; Ib) 

latex

Definitions	x:A. B(x), x:AB(x), E(X), E, glues(es; B; g; f; Ia; Ib)
FDL editor aliases	glued